Nuprl Definition : es-after
0,22
postcript
pdf
(
x
after
e
) == state after
e
.
x
latex
clarification:
es-after(
es
;
x
;
e
) == es-state-after(
es
;
e
).
x
latex
Definitions
s
.
x
,
state after
e
FDL editor aliases
es-after
origin